Analysis of an Industrial System
نویسندگان
چکیده
Studying industrial systems by simulation enables the designer to study their dynamic behaviour and to determine characteristics of the system. Unfortunately, simulation also has some disadvantages. These can be overcome by using formal methods. Formal methods allow a thorough analysis of the possible behaviours of a system, parameterised system analysis and a modular approach to the analysis of systems. We present a case study in which a model of an industrial system is studied in a formal way. For this purpose, the model is first specified and simulated using the CSP-based executable specification language χ. The model is translated into a model in the process algebra µCRL. This enables us to give a correctness proof of the parameterised model and to study the model in isolation.
منابع مشابه
Dynamic Performance Analysis and Simulation of a Full Scale Activated Sludge System Treating an Industrial Wastewater Using Artificial Neural Network
Due to changeable nature of the industrial wastewaters, proper operation of an industrial wastewater treatment plant is of prior importance in order to keep the process stability at the desired conditions. In this mean, simulation of the treatment system behavior using artificial neural network (ANN) can be an effective tool. This paper evaluates long term performance and process stability of ...
متن کاملStructural and Functional Analysis of an Industrial, Flexible, and Demountable Wall Panel System (RESEARCH NOTE)
Building waste is a critical issue in current construction. Innovative design strategies are required to reduce the depletion of valuable materials and resources through providing flexible and versatile structures. This study focuses on the development of an industrial, flexible, and demountable wall panel construction system. The panel system consists of concrete blocks with steel connectors t...
متن کاملAn application of principal component analysis and logistic regression to facilitate production scheduling decision support system: an automotive industry case
Production planning and control (PPC) systems have to deal with rising complexity and dynamics. The complexity of planning tasks is due to some existing multiple variables and dynamic factors derived from uncertainties surrounding the PPC. Although literatures on exact scheduling algorithms, simulation approaches, and heuristic methods are extensive in production planning, they seem to be ineff...
متن کاملPerformance Analysis of an Industrial Robot Under Uniform Temperature Change
The effect of temperature change on dynamic performances of an industrial robot with six axes of freedom is studied in this paper. In general, the strain and stress are produced not only by the external exciting force, but also by temperature change. The strain energy that is caused by temperatureThis paper describes how the temperature variation effects the dynamic performance of an indu...
متن کاملDeveloping a Method for Increasing Accuracy and Precision in Measurement System Analysis: A Fuzzy Approach
Measurement systems analysis (MSA) has been applied in different aspect of industrial assessments to evaluate various types of quantitative and qualitative measures. Qualification of a measurement system depends on two important features: accuracy and precision. Since the capability of each quality system is severely related to the capability of its measurement system, the weakness of the two...
متن کاملFailure Mode and Effect Analysis Power Plant Boiler
The current electricity demand is increasing, and now the government has involved third parties in the implementation of electricity so that investors compete in building infrastructure in order to apply electricity. Thermal power is one source that has a fast break event point compared to other resources that more interested investors even with all forms of pollution caused. A form of heat pow...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- Formal Methods in System Design
دوره 22 شماره
صفحات -
تاریخ انتشار 2003